Microsoft Word - NEW10.docx

Source URL: agecon2.tamu.edu

• Operations research
• Mathematical optimization
• Consumer theory
• Demand
• Supply and demand
• Slack variable
• Linear programming
• Simplex algorithm
• Regression analysis
• Draft:Extended mathematical programming
• Local consistency

Solving Dynamic Constraint Satisfaction Problems: Relations between Problem Alteration and Search Performance Richard J. Wallace, Diarmuid Grimes and Eugene C. Freuder Cork Constraint Computation Centre and Department of

Source URL: ceur-ws.org

• Constraint programming
• Operations research
• Search algorithms
• Constraint satisfaction problem
• Mathematical optimization
• Constraint satisfaction
• Heuristic
• Algorithm
• Duality
• Backtracking
• Travelling salesman problem
• Local consistency

1 The Distributed Constraint Satisfaction Problem: Formalization and Algorithms IEEE Trans. on Knowledge and DATA Engineering, vol.10, No.5 September 1998 Makoto Yokoo, Edmund H. Durfee, Toru Ishida, and Kazuhiro Kuwaba

Source URL: agent.inf.kyushu-u.ac.jp

• Constraint programming
• Constraint satisfaction problem
• Constraint satisfaction
• Backtracking
• Multi-agent system
• Local consistency
• Interchangeability algorithm

Unifying Local Consistency and MAX SAT Relaxations for Scalable Inference with Rounding Guarantees Stephen H. Bach University of Maryland

Source URL: jmlr.org

xpanda Table of contents Introduction......................................................................................................................................1 Usage........................................

Source URL: potassco.sourceforge.net

• Mathematics
• Constraint programming
• Declarative programming
• Software engineering
• Formal methods
• Theoretical computer science
• Lambda calculus
• Syntax
• Variable
• HindleyMilner type system
• Constraint logic programming
• Local consistency

A Data-Oriented Approach to Program Synthesis Fritz Obermeyer

Source URL: fritzo.org

• Constraint programming
• 6V
• Local consistency

September 20, :54 WSPC - Proceedings Trim Size: 9.75in x 6.5in

Source URL: www.jsbi.org

• Graph theory
• Mathematics
• Constraint programming
• Matroid theory
• Ear decomposition
• Graph
• Spanning tree
• Decomposition method
• Local consistency

Iterative Forward Search: Combining Local Search with Maintaining Arc Consistency and a Conflict-based Statistics Tomáš Müller1,Roman Barták1, Hana Rudová2 1

Source URL: muller.unitime.org

Planware II: Synthesis of Schedulers for Complex Resource Systems Marcel Becker Limei Gilham Douglas R. Smith Kestrel Technology

Source URL: www.kestrel.edu

• Business
• Economy
• Operations research
• Project management
• Planning
• Management
• Scheduling algorithms
• Job scheduler
• Scheduling
• Schedule
• Local consistency
• Windows Task Scheduler

Local Consistency for Extended CSPs Michael J. Maher National ICT Australia and University of NSW

Source URL: seit.unsw.adfa.edu.au